| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| Church Numerals | Text File | 44 | 871b | 1994-06-24 |
| Description | Text File | 13 | 722b | 1994-06-24 |
| Examples | Text File | 350 | 11KB | 1994-06-24 |
| Gabriel Benchs | Text File | 40 | 873b | 1994-06-24 |
| Memoizing | Text File | 48 | 1KB | 1994-06-24 |
| Multiple Values | Text File | 42 | 1KB | 1994-06-24 |
| Unknown Values | Text File | 47 | 2KB | 1994-06-24 |